561. Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
پدیدآورنده : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, )3rd, 0991, Paris, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Uncertainty )Information theory(-- Congresses,، Data base management-- Congresses
رده :
Q
375
.
I58
1990
562. Uncertainty in knowledge bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
پدیدآورنده : B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Data base management
رده :
Q
375
.
I58
1990
563. Unifying electrical engineering and electronics engineering
پدیدآورنده : Song Xing ... [et al.], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.
564. Unifying electrical engineering and electronics engineering :proceedings of the 2012 International Conference on Electrical and Electronics Engineering
پدیدآورنده : Song Xing, Suting Chen, Zhanming Wei, Jingming Xia, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Electrical engineering,Congresses ، Electronics
رده :
TK5
.
I48
2012
565. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
566. Variation and evolution in plants and microorganisms :
پدیدآورنده : Francisco J. Ayala, Walter M. Fitch, and Michael T. Clegg, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Plants-- Evolution, Congresses.,Plants-- Variation, Congresses.,Plants-- Evolution.,Plants-- Variation.,SCIENCE-- Life Sciences-- Botany.
رده :
QK980
.
V37
2000eb
567. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
568. Vulnerability, uncertainty, and risk analysis, modeling and management
پدیدآورنده : sponsored by the Council on Disaster Risk Management (CDRM) of the American Society of Civil Engineers ; edited by Bilal M. Ayyub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Emergency management, Congresses.,Fuzzy systems, Congresses.,Hazard mitigation, Congresses.,Natural disasters-- Risk assessment, Congresses.,Public works-- Protection, Congresses.,Structural analysis (Engineering), Congresses.,Uncertainty-- Mathematical models, Congresses.,TECHNOLOGY & ENGINEERING-- Structural.
569. Web, artificial intelligence and network applications :
پدیدآورنده : editors, Leonard Barolli, Makoto Takizawa, Fatos Xhafa and Tomoya Enokido.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer networks, Congresses.,Information networks, Congresses.,Web databases, Congresses.,Artificial intelligence.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information networks.,Web databases.
رده :
TK5105
.
5
570. Webble technology :
پدیدآورنده : Oksana Arnold [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Internet -- Congresses.,Multimedia systems -- Congresses.,World Wide Web -- Congresses.
571. Worldviews, science and us
پدیدآورنده : / editors, Carlos Gershenson
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
Q175
.
3
.
W674
2007
572. Yogic perception, meditation and altered states of consciousness /
پدیدآورنده : edited by Eli Franco ; in collaboration with Dagmar Eigner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Altered states of consciousness-- Religious aspects-- Buddhism, Congresses,Buddhist philosophy, Congresses,Consciousness-- Religious aspects-- Buddhism, Congresses,Extrasensory perception, Congresses,Knowledge, Theory of (Buddhism), Congresses,Meditation-- Buddhism, Congresses,Yoga-- Buddhism, Congresses
رده :
BQ4440
.
Y64
2009
574. 9041127372 (acid-free p
پدیدآورنده : Parviz Owsia.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
575. 9780275990787 (alk. paper)
پدیدآورنده : edited by Linda S. Levstik, Cynthia A. Tyson.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
577. 0203931254 (ebook)
پدیدآورنده : edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
578. f-sultanmuhamad
پدیدآورنده : edited by Joseph Chinyong Liow and Ralf Emmers.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
579. knowledge systems and translation
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : translating and interpreting-congresses,knowledge,theory of -congresses
رده :
P
306
.
2
.
K63
2005
580. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing :
پدیدآورنده : editors Andrzej Goscinski, Michael Hobbs, Wanlei Zhou ; sponsors Dekin University, Faculty of Science and Technology Deakin University, IEEE Victorian Section.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I528
1997
